How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·17h
🔢Bitwise Algorithms
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Parsing Safetensors File Format in C
leetarxiv.substack.com·22h·
Discuss: Substack, r/programming
✅Format Verification
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·58s·
Discuss: Hacker News
🦀Rust Borrowing
A http parser single-header library written in C89 which is 50 lines total.
github.com·3d·
Discuss: Hacker News, r/programming
🔧Binary Parsers
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Bazel Knowledge: Beyond _deploy.jar for OCI images
fzakaria.com·9h
🔌Interface Evolution
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·9h
🧮Z3 Solver
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·23h
🦀Rust Verification
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·14h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
The C3 Programming Language
c3-lang.org·13h·
Discuss: Hacker News
💧Liquid Types
Python Fundamentals: bson
dev.to·2d·
Discuss: DEV
🔐CBOR
All About Server Side Template Injection (SSTI)
infosecwriteups.com·3h
🛡️WASM Security
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·20h
🎯Gradual Typing
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Re-implementing the Nix protocol in Rust
tweag.io·2d·
Discuss: Hacker News
🔒Linear Types
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·7h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·6h·
Discuss: Hacker News
🌀Brotli Internals